Sports Allegory

Allegory and Ascent in Neoplatonism

In Late Antiquity a series of ideas emerges that adds a kind of buoyancy to allegorism. Readers' impulses toward other regions of knowledge begin to flow more consistently upward, drawn by various metaphysical currents that guide and support them. A whole manner of Platonist-inspired architectures structure the cosmos in the early centuries of the Common Era, among thinkers as diverse as the we...

An Allegory of the Hill

I n his farewell address to the nation, President Eisenhower told Americans that the military–industrial complex offered enormous potential for abuse if not properly constrained. The problem has become much larger than he imagined. We now have a selfsustaining and self-regulating national militaryindustrial-surveillance-politicalmedia-prison-energy-academicreligious-medical-legal-think-tank com...

The Janeway Medal and its allegory.

The Allegory of E-Relations in Constructive Type Theory

This paper presents a rst step in the formalisation of a relational calculus inside a constructive type theoretic framework. The calculus is the one based on allegories, and its formalisation is carried on with the help of a software tool assistant for Martin-LL of's monomorphic type theory. The goal of this eeort is allowing us to import relational calculus inside type theory, and take advanta...

Multi-objective Optimisation for Social Cost Benefit Analysis: An Allegory